KSC 2017
Current Result Document :
| 한글제목(Korean Title) |
NuSCPI: 원자력발전소의 디지털 계측제어 소프트웨어를 대상으로 개발된 Safety Case Pattern 작성을 위한 CASE 도구 |
| 영문제목(English Title) |
NuSCPI: A CASE tool for Constructing the Safety Case Pattern for Digital I&C Software of Nuclear Power Plant |
| 저자(Author) |
손준익
정세진
유준범
이영준
Junik Son
Sejin Jung
Junbeom Yoo
Young Jun Lee
|
| 원문수록처(Citation) |
VOL 44 NO. 02 PP. 0545 ~ 0547 (2017. 12) |
한글내용
(Korean Abstract) |
원자력발전소의 디지털 계측제어 소프트웨어는 안전 필수 시스템에서 핵심적인 부분으로 안전성에 대한 분석이 반드시 요구된다. 다양한 안전 필수 분야에서 사용이 되는 safety case는 안전성 분석 기법으로서 시스템이 용인되는 수준의 안전성을 갖췄는지 보이기 위한 논증 구조를 표현하는 기법이다. 유사한 시스템의 경우 safety case 논증 구조에 반복적인 구조들이 나타난다. safety case pattern은 잘 작성된 safety case의 반복적인 구조의 재사용을 통해 효율적인 논증 구조를 작성하는 방법으로 패턴의 구조 작성에 필요한 요소와 패턴의 인스턴스화에 대한 많은 연구가 진행 중이다. 본 논문에서는 디지털 계측제어 소프트웨어를 위한 safety case pattern을 위해 몇몇 추가된 GSN (Goal structuringnotation) 요소 및 매개변수 작성규칙을 제안하고, safety case pattern 작성 및 인스턴스화의 부분적인 자동화를 지원하는 CASE 도구인 NuSCPI를 소개한다.
|
영문내용
(English Abstract) |
|
| 키워드(Keyword) |
|
| 파일첨부 |
PDF 다운로드
|
